A Relationship Between CNF and DNF Systems Derivable from Examples
نویسندگان
چکیده
In learning from examples, the main goal is to use a collection of positive examples and a collection of negative examples to derive a Boolean expression which satisfies the requirements imposed by the examples. In order to represent such a Boolean expression, the conjunctive normal form (CNF) and the disjunctive normal form (DNF) have been proposed. This paper makes two contributions. First it shows how to use any DNF algorithm to derive a CNF formula (or vice-versa). Furthermore, it demonstrates how to make efficient use of DNF algorithms which cannot handle a large number of positive (or negative) examples by using them as negative (or positive) examples and deriving CNF (or vice-versa). Therefore, the findings of this paper can be used to solve efficiently large scale learning problems. Two learning algorithms are used to illustrate the above issues.
منابع مشابه
Average Case Analysis of k-CNF and k-DNF learning algorithms
We present average case models of algorithms for learning Conjunctive Normal Form (CNF, i.e., conjunctions of disjunctions) and Disjunctive Normal Form (DNF, i.e., disjunctions of conjunctions). Our goal is to predict the expected error of the learning algorithm as a function of the number n of training examples, averaging over all sequences of n training examples. We show that our average case...
متن کاملAn incremental learning algorithm for constructing Boolean functions from positive and negative examples
This paper introduces an incremental algorithm for learning a Boolean function from examples. The functions are constructed in the disjunctive normal form (DNF) or the conjunctive normal form (CNF) and emphasis is placed in inferring functions with as few clauses as possible. This incremental algorithm can be combined with any existing algorithm that infers a Boolean function from examples. In ...
متن کاملAnalysis of Case-Based Representability of Boolean Functions by Monotone Theory
Classi cation is one of major tasks in case-based reasoning(CBR) and many studies have been done for analyzing properties of case-based classi cation [1, 14, 10, 15, 12, 9, 13, 7]. However, these studies only consider numerical similarity measures whereas there are other kinds of similarity measure for di erent tasks. Among these measures, HYPO system [2, 3] in a legal domain uses a similarity ...
متن کاملThe mistake in “A Solution of the P versus NP Problem”
The first step of the approach in [1] is a transformation which eliminates the negated variables in the monomials of the DNF representation and in the clauses of the CNF representation of the functions computed at the nodes of the given standard network resulting into the so-called reduced DNF and CNF representations of these functions. Theorem 5 characterizes the reduced DNF and CNF representa...
متن کاملNon-monotone Dualization via Monotone Dualization
The non-monotone dualization (NMD) is one of the most essential tasks required for finding hypotheses in various ILP settings, like learning from entailment [1, 2] and learning from interpretations [3]. Its task is to generate an irredundant prime CNF formula ψ of the dual f where f is a general Boolean function represented by CNF [4]. The DNF formula φ of f is easily obtained by De Morgan’s la...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- INFORMS Journal on Computing
دوره 7 شماره
صفحات -
تاریخ انتشار 1995